Enum isotope::error::Error [−][src]
pub enum Error {}Show variants
HasDependency, ExpectedAnnot, InconsistentTyck, VarAnnotMismatch, AnnotMismatch, ExpectedTerm, ExpectedPi, ExpectedType, ExpectedUniverse, ExpectedFunction, ExpectedRefl, OutOfGas, StopReduction, AnnotationRequired, ParameterUnderflow, ParameterOverflow, TypeMismatch, TypeUnificationFailure, SubtypeMismatch, TermMismatch, TermUnificationFailure, UntypedParameter, UntypedConstraint, CannotInfer, UndefinedSymbol, NotImplemented, UniverseOutOfBounds, CoerceUntyped, InferenceFailure, CannotMatch, IndexOutOfBounds,
Expand description
An error which may occur manipulating isotope
terms
Variants
Attempted to substitute away a dependency
Expected an annotation
Inconsistent type-check flag
A variable annotation mismatch
A general annotation mismatch
Expected a term
Expected a dependent function type
Expected a type
Expected a universe
Expected a function
Expected a reflexivity instance
Function took too many steps to evaluate
Stop the current reduction
A type annotation is required
Parameter underflow
Parameter overflow
A type mismatch
Failed to unify types
A subtype mismatch
A term mismatch
Failed to unify terms
An untyped parameter
An untyped constraint
Cannot infer a value
An undefined symbol
Unimplemented functionality
Universe out of bounds
Attempted to coerce an untyped term
A potentially recoverable inference failure.
A type cannot be matched
An index out of bounds
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Error
impl UnwindSafe for Error
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.